]> dgit.raspbian.org Git - gnome-shell.git/commit
dbusServices/extensions: Stop using :margin shortcut
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 15 Apr 2020 18:27:15 +0000 (20:27 +0200)
committerMarge Bot <marge-bot@gnome.org>
Thu, 14 Jan 2021 13:03:21 +0000 (13:03 +0000)
commita450550e5f2c50536453d2ebff173252b930b251
treea922a9e0bc40a4e74cfbf3aa00d31a0809d0cee8
parent2189dc61fbd481f3f95b20db338c0595afedaf87
dbusServices/extensions: Stop using :margin shortcut

The property has been removed in GTK4, so prepare for a port by
setting the four individual margin properties instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
js/dbusServices/extensions/ui/extension-prefs-dialog.ui